Modal Calculation under Prestressed Structures

Self-assembly of three-dimensional prestressed tensegrity structures from DNA

Tensegrity, or tensional integrity, is a property of a structure indicating a reliance on a balance between components that are either in pure compression or pure tension for stability1,2. Tensegrity structures exhibit extremely high strength-toweight ratios and great resilience, and are therefore widely used in engineering, robotics and architecture3,4. Here, we report nanoscale, prestressed, ...

Self-assembly of 3D prestressed tensegrity structures from DNA

Tensegrity, or tensional integrity, is a property of a structure indicating a reliance on a balance between components that are either in pure compression or pure tension for stability. Tensegrity structures exhibit extremely high strength-to-weight ratios and great resilience, and are therefore widely used in engineering, robotics and architecture. Here, we report nanoscale, prestressed, three...

Modal Logic over Finite Structures

Modal Analysis of Masonry Structures

This paper presents a new numerical tool for evaluating the vibration frequencies and mode shapes of masonry buildings in the presence of cracks. The algorithm has been implemented within the NOSA-ITACA code, which models masonry as a nonlinear elastic material with zero tensile strength. Some case studies are reported, and the differences between linear and nonlinear behaviour highlighted.

Modal Logic over Finite Structures

In this paper, we develop various aspects of the finite model theory of propositional modal logic. In particular, we show that certain results about the expressive power of modal logic over the class of all structures, due to van Benthem and his collaborators, remain true over the class of finite structures. We establish that a firstorder definable class of finite models is closed under bisimul...